top_command (cmd_load currentFile [])
IOTCM currentFile Interactive Indirect (Cmd_refine 0 (intervalsToRange Nothing [Interval (Pn () 20 2 7)  (Pn () 27 2 14)]) "λ x → x")
